-
1 правило вывода
-
2 правило вывода
правило вывода
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > правило вывода
-
3 правило вывода
1. rule of inference2. production rule -
4 правило вывода
-
5 правило вывода
Русско-английский словарь по информационным технологиям > правило вывода
-
6 правило вывода
1) Computers: inference rule2) Engineering: derivation rule, rule of inference (логического)3) Mathematics: deduction rule, rule of derivation, rules of inference, rewrite rule4) Information technology: production5) Oil: production rule6) Robots: (логического) inference rule -
7 правило вывода
лог. rule of inference -
8 правило вывода
Русско-английский словарь по вычислительной технике и программированию > правило вывода
-
9 правило вывода
-
10 правило вывода
-
11 правило вывода
deduction rule мат., derivation rule, rule of derivation, rule of inferenceРусско-английский научно-технический словарь Масловского > правило вывода
-
12 правило вывода
rule of inference, derivation rule, production вчт. -
13 правило вывода
-
14 правило вывода из системы убеждений
Linguistics: belief-inference ruleУниверсальный русско-английский словарь > правило вывода из системы убеждений
-
15 композиционное правило вывода
Computers: compositional inference ruleУниверсальный русско-английский словарь > композиционное правило вывода
-
16 леворекурсивное правило вывода
Information technology: left recursive productionУниверсальный русско-английский словарь > леворекурсивное правило вывода
-
17 праворекурсивное правило вывода
Information technology: right recursive productionУниверсальный русско-английский словарь > праворекурсивное правило вывода
-
18 правило
ср.1) rule, canon2) ( принцип) principle, maxim3) ( правила поведения) code, law•- нравственные правила
- общее правило о том, что организм повторит с наибольшей вероятностью последнее из выполняемых действий в сходной ситуации
- основное правило
- правило вывода
- правило выравнивания и усиления
- правило Дарема
- правило доступности
- правило единственной переменной
- правило трансформации
- правило фаз
- правило, не имеющее исключений
- правила ведения беседы
- правила ведения диалога
- правила игры
- правила нравственного поведения
- правила поведения
- правила принятия решений
- правила техники безопасности
- строгое правило
- трансформационное правило
- фундаментальное правило
- эмпирическое правило для приближенных подсчетов -
19 правило (логического) вывода
Robots: inference ruleУниверсальный русско-английский словарь > правило (логического) вывода
-
20 правило логического вывода
1) Information technology: rule of logical inference2) Makarov: derivation rule, rule of inferenceУниверсальный русско-английский словарь > правило логического вывода
См. также в других словарях:
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой),… … Большой Энциклопедический словарь
правило вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN rule of inference … Справочник технического переводчика
правило вывода — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определенное соответствие между некоторой совокупностью высказываний (формул), называемых посылками, и одним определенным высказыванием (формулой),… … Энциклопедический словарь
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
правило вывода — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если … Словарь терминов логики
ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определ. соответствие между нек рой совокупностью высказываний (формул), называемых посылками, и одним определ. высказыванием (формулой), называемым логич … Естествознание. Энциклопедический словарь
ПРАВИЛО ВЫВОДА — См. трансформация (3) … Толковый словарь по психологии
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
ПРОИЗВОДНОЕ ПРАВИЛО — вывода для данного исчисления вывода правило, заключение к рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. п., поскольку в этом исчислении имеет место выводимость из посылок:… … Математическая энциклопедия
КАРНАПА ПРАВИЛО — правило бесконечной индукции, w правило, вывода правило, состоящее в том, что если для арифметич. формулы j(х). доказаны предложения j(0), j(1),..., j(n),..., то можно считать доказанным предложение Это правило впервые введено в рассмотрение Р.… … Математическая энциклопедия